TYPE ANALYSIS FOR THE PREDICATE PROGRAMMING LANGUAGE
نویسندگان
چکیده
منابع مشابه
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
A new formalism, called Hiord, for defining type-free higherorder logic programming languages with predicate abstraction is introduced. A model theory, based on partial combinatory algebras, is presented, with respect to which the formalism is shown sound. A programming language built on a subset of Hiord, and its implementation are discussed. A new proposal for defining modules in this framewo...
متن کاملVerified type checker for Jolie programming language
Jolie is a service-oriented programming language which comes with the formal specication of its type system. However, there is no tool to ensure that programs in Jolie are well-typed. In this paper we provide the results of building a type checker for Jolie as a part of its syntax and semantics formal model. We express the type checker as a program with dependent types in Agda proof assistant w...
متن کاملAn Incremental Type Inference System for the Programming Language
Modern computing environments strive to be robust and reliable, and at the same time, aim at providing enough exibility to an interactive user to edit, debug, and test programs easily and e ciently. Strongly typed languages satisfactorily meet the former goal by guaranteeing that \type-consistent" programs will not incur run-time type-errors. But most programming environments for such languages...
متن کاملA predicate for separating language classes
We show how a predicate can be used to separate language classes It has been a long-standing open problem whether appearance checking enhances the power of programmed grammars or not. By now, two independent complicated proofs appeared for the separation result in question 4, 3]. In this note, we present another decidability argument which readily implies the above-mentioned result and is also ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: System Informatics
سال: 2017
ISSN: 2307-6410
DOI: 10.31144/si.2307-6410.2017.n9.p1-22